|
|
Modelem řízený návrh konferenčního systému
Caha, Matěj ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato diplomová práce se zabývá problematikou modelem řízeného návrhu a aplikace simulací v návrhu systémů. V rámci uvedení do problematiky práce diskutuje historii procesu vývoje SW a nastiňuje jeho aktuální stav. Cílem práce je demonstrovat modelem řízený návrh na případové studii konferenčního systému. Konkrétně zde budou představeny formalismy DEVS a OOPN společně s experimentálními nástroji PNtalk a SmallDEVS, které umožňují práci s těmito formalismy. Výsledný model konferenčního systému bude nasazen jako součást webové aplikace implementované pomocí frameworku Seaside v prostředí Squeak.
|
|
|
Gramatická evoluce v optimalizaci software
Pečínka, Zdeněk ; Minařík, Miloš (oponent) ; Sekanina, Lukáš (vedoucí práce)
Tato diplomová práce nabízí stručný úvod do evolučního počítání. Popisuje a porovnává genetické programování a gramatickou evoluci a jejich možné využití v problematice automatické opravy software. Podrobně studuje možnosti aplikace gramatické evoluce v problému automatické opravy softwaru. Na základě získaných poznatků byla navržena a implementována nová metoda pro automatickou opravu softwaru, založená na gramatické evoluci. Její experimentální ověření proběhlo na řadě testovacích programů.
|
|
|
Systém pro kontinuální integraci projektu k-Wave
Nečas, Radek ; Kešner, Filip (oponent) ; Jaroš, Jiří (vedoucí práce)
Tato práce se zabývá zavedením metodik a nástrojů postupné integrace do reálného projektu k-Wave. Věnuji se především verzi psané v jazyce C/C++ s využitím knihovny OpenMP, která je určená pro běh na superpočítačích. Projekt, díky svým vlastnostem a potřebám, nezapadá mezi běžné projekty, do kterých se postupná integrace zavádí. Z toho důvodu musela být řada běžných postupů upravena a bylo nutné vymyslet některé vlastní. Práce popisuje kompletní sestavení prakticky použitelného řešení. Pokrývá jeho návrh, výběr potřebných nástrojů, zprovoznění běhového prostředí, konfiguraci a nastavení služeb, ze kterých se řešení skládá a softwarovou implementaci frameworku pro běh testů na superpočítačích včetně realizace některých regresních a unit testů. Realizace je postavena na službách Gitlab a Jenkins, které běží v oddělených Docker kontejnerech.
|
|
|
Webový informační systém a principy jeho zabezpečení
Nehasil, Filip ; Rychlý, Marek (oponent) ; Očenášek, Pavel (vedoucí práce)
Hlavním tématem práce je problematika zabezpečení webové aplikace. Jsou rozebrána potenciální zranitelná místa a navrženy způsoby ochrany aplikace v oblastech řízení přístupu, přenosu dat, uživatelského vstupu, výstupu a uchování stavu. S ohledem na bezpečnost jsou dále popsána možná řešení auditu a zálohování, zabezpečení webového serveru, návrhu databáze a obrany proti internetovým robotům. Projekt se rovněž zabývá analýzou požadavků, detailním návrhem a implementací klubového informačního systému, na němž jsou uvedená bezpečnostní řešení demonstrována. V rámci tohoto IS je mimo jiné implementován systém evidence členů klubu, evidence chovných jedinců a jejich rodokmenů, systém zveřejňování klubových akcí a jejich výsledků a systém pro správu dalšího obsahu webové prezentace. Veškerá implementační řešení jsou postavena na technologiích HTML, CSS, JavaScript, PHP a MySQL.
|
|
|
Program pro interaktivní sestavování rodokmenů
Navrátilová, Eva ; Zbořil, František (oponent) ; Rozman, Jaroslav (vedoucí práce)
Tato práce popisuje návrh a implementaci aplikace pro interaktivní sestavování rodokmenů. Vyvinutá aplikace uživatelům umožňuje importovat a exportovat genealogická data ve formátu GEDCOM, tato data dále upravovat a zobrazovat a exportovat rodové diagramy. Program je navržen s důrazem na modularitu. Aplikace je implemetována v jazyce C++ za využití frameworku Qt. Program byl otestován uživateli z řad českých a slovenských genealogů a byl proveden a vyhodnocen průzkum jejich spokojenosti s aplikací.
|
|
|
Modelem řízený návrh softwarových systémů
Hanák, Tomáš ; Janoušek, Vladimír (oponent) ; Kočí, Radek (vedoucí práce)
Tato práce se zabývá moderním přístupem při vytváření softwarových systémů, který se nazývá modelem řízený návrh softwarových systémů. Jedná se o metodiku, která odstraňuje řadu kritických problémů, jež se vyskytují při konvenčním návrhu systémů. Hlavní myšlenka tohoto poměrně nového přístupu se zakládá na možnosti automatického, či poloautomatického generování výsledného kódu z konceptuálních modelů.
|
|
|
Správa spisů advokátní kanceláře s napojením na veřejné databáze
Trefilík, Jakub ; Bartík, Vladimír (oponent) ; Očenášek, Pavel (vedoucí práce)
Práce se zabývá elektronickým vedením spisů advokátních kanceláří v České republice. Analyzuje současný stav a softwarové prostředky, které jsou českým advokátům k dispozici. Analyzuje přístup Ministerstva spravedlnosti České republiky k zásahu informatiky do justičního prostředí. Na základě analýzy je navrhnuta a implementována nová aplikace pro správu spisů advokátní kanceláře. Aplikace je rozšířena o funkcionalitu spojenou s napojením na veřejné databáze pod správou Ministerstva spravedlnosti České republiky.
|
|
|
Knihovna pro podporu vývoje systému ReReSearch
Heller, Stanislav ; Otrusina, Lubomír (oponent) ; Šperka, Svatopluk (vedoucí práce)
Vývoj systému ReReSearch je značně zpomalen vzájemnou nekompatibilitou jednotlivých modulů z hlediska programových prostředků, faktem, že vývojáři často opakují již známé chyby a v neposlední řadě slabou komunikací vývojářů mezi sebou. Pro řešení uvedených problémů bylo zapotřebí vytvořit prvek, který by implementoval časté úkony a procesy, sjednotil některá rozhraní v systému a poskytl prostředky pro řešení problémů na vyšší úrovni abstrakce. Výsledkem této snahy je knihovna rrslib, která by měla sloužit všem, kteří se věnují vývoji systému ReReSearch: práci s jeho databází, extrakci, zpracování, analýze a indexaci dat z webu a z lokálních dokumentů nebo jiným částem systému ReReSearch. Používáním knihovny by mělo být docíleno konzistentnějšího, rychlejšího a méně chybového vývoje systému ReReSearch.
|
|
|
Dokumentace procesů
Dostalík, Martin ; Bartík, Vladimír (oponent) ; Kreslíková, Jitka (vedoucí práce)
Cílem tohoto projektu je seznámení s řízením, analýzou a dokumentací procesů využívaných při tvorbě softwarových programů a vytvoření prototypu pro jejich podporu. Vysvětluje proč je pro firmy důležité vytvářet pracovní procesy, měřit jejich výkonnost a postupně je vylepšovat. Dále popisuje metody, které pomáhají zajistit přijetí těchto procesů v praxi a dále je řídit, zejména Rational Unified Process od firmy IBM. Také jsou zde popsány prostředky pro vývoj www aplikací a práci s nimi. Práce obsahuje specifikaci požadavků a návrh na aplikaci pro programovou podporu dokumentace procesů a popis této aplikace. Součástí diplomové práce je systém ve formě aktivních www stránek sloužící k využití knihovny procesů při vývoji softwarových projektů.
|
|
|
Vývoj software řízený testem
Navrátil, Dušan ; Rychlý, Marek (oponent) ; Zendulka, Jaroslav (vedoucí práce)
Tato bakalářská práce představuje agilní metodologii zvanou vývoj řízený testy a ilustruje její použití na ukázkovém příkladě pomocí testovacího nástroje. Během ilustrace jsou vysvětleny techniky sloužící k dosažení cíle softwarového projektu. Dále je diskutován vliv vývoje řízeného testy na kvalitu sofwarového produktu.
|
host ::
RSS.